新世代プログラミング⑧ 理論(2) スコット理論